left exponential adjunction